Property Specification Language